% ?-op(900,xfy,[(&),('&&')]).
% ?-op(700,xfy,['<->','\=',proj]).
% ?-op(600,xfy,['=>','<=']).
% ?-op(60,fy,['~','#','<>', '@',^]).
% ?-op(60,fy,[*]).
% ?-op(1200,fy,[dynamic]).
?-['op.pl'].

make :- unix(system('make tmpa')),['.tmpc','.tmpl'].
?- unix(system('make tmpa')),['.tmpc','.tmpa'] ;

  ['ndcomp.pl','bdtstd.pl','chop.pl','exdev.pl','diag.pl','ex.pl','cp.pl'].
